Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision

Fermé and Rott (‘Revision by Comparison’, Artificial Intelligence 157, 2004) introduced a binary operation of ‘revision by comparison’ and pointed out that this method of changing epistemic states has both characteristics of belief contraction (with respect to the ‘reference sentence’) and characteristics of belief revision (with respect to the ‘input sentence’). Using revision by comparison as...

متن کامل

self-revision and third party revision in translation

اهمیت این پژوهش در آن بود که به گفت? بسیاری از پژوهشگرانِ حوز? بازبینی ترجمه، ادبیات موجود در این زمینه به لحاظ نظری و عملی چندان قوی نیست و بخش های موجود نیز برداشت مناسبی از این مرحل? فرایند ترجمه ندارند، اگرچه اخیراً توجه به آن به صورت نظام مند افزایش یافته است. در عین حال، پژوهش های موجود از یک سو بر دگربازبینی بیشتر از خودبازبینی تأکید دارند و از دیگر سو تنها به لحاظ نظری به این موضوع می پرد...

15 صفحه اول

A Unifying Framework for Probabilistic Belief Revision

In this paper we provide a general, unifying framework for probabilistic belief revision. We first introduce a probabilistic logic called p-logic that is capable of representing and reasoning with basic probabilistic information. With p-logic as the background logic, we define a revision function called p-revision that resembles partial meet revision in the AGM framework. We provide a represent...

متن کامل

Irrevocable Belief Revision and Epistemic Entrenchment

In recent papers [10, 11] Krister Segerberg introduced Irrevocable Belief Revision, as closely related to AGM revision [2]. In this paper we present irrevocable belief revision in terms of an epistemic entrenchment relation.1

متن کامل

Revision by comparison

Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 2006

ISSN: 0304-3975

DOI: 10.1016/j.tcs.2006.01.011